On minimising the maximum expected verification time
نویسندگان
چکیده
منابع مشابه
Control Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB (TECHNICAL NOTE)
The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...
متن کاملImproving robustness and flexibility of tardiness and total flow-time job shops using robustness measures
The traditional focus of scheduling research is on finding schedules with a low implementation cost. However, in many real world scheduling applications finding a robust or flexible schedule is just as important. A robust schedule is a quality schedule expected to still be acceptable if something unforeseen happens, while a flexible schedule is a quality schedule expected to be easy to change. ...
متن کاملBisimulation Minimisations for Boolean Equation Systems
Boolean equation systems (BESs) have been used to encode several complex verification problems, including model checking and equivalence checking. We introduce the concepts of strong bisimulation and idempotence-identifying bisimulation for BESs, and we prove that these can be used for minimising BESs prior to solving these. Our results show that large reductions of the BESs may be obtained eff...
متن کاملImpact of PET - CT motion correction in minimising the gross tumour volume in non-small cell lung cancer
AbstractObjective: To investigate the impact of respiratory motion on localization, and quantification lung lesions for the Gross Tumour Volume utilizing an in-house developed Auto3Dreg programme and dynamic NURBS-based cardiac-torso digitised phantom (NCAT). Methods: Respiratory motion may result in more than 30% underestimation of the SUV values of lung, liver and kidney tumour lesions. The m...
متن کاملObjective Bayesianism and the Maximum Entropy Principle
Objective Bayesian epistemology invokes three norms: the strengths of our beliefs should be probabilities, they should be calibrated to our evidence of physical probabilities, and they should otherwise equivocate sufficiently between the basic propositions that we can express. The three norms are sometimes explicated by appealing to the maximum entropy principle, which says that a belief functi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 122 شماره
صفحات -
تاریخ انتشار 2017